Closed-Loop Policies for Operational Tests of Safety-Critical Systems
نویسندگان
چکیده
منابع مشابه
Closed-Loop Policies for Operational Tests of Safety-Critical Systems
Manufacturers of safety-critical systems must make the case that their product is sufficiently safe for public deployment. Much of this case often relies upon critical event outcomes from real-world testing, requiring manufacturers to be strategic about how they allocate testing resources in order to maximize their chances of demonstrating system safety. This work frames the partially observabl...
متن کاملClosed-Loop Learning of Visual Control Policies
In this dissertation, I introduce a general, flexible framework for learning direct mappings from images to actions in an agent that interacts with its surrounding environment. This work is motivated by the paradigm of purposive vision. The original contributions consist in the design of reinforcement learning algorithms that are applicable to visual spaces. Inspired by the paradigm of local-ap...
متن کاملImpact of government’s policies on competition of two closed-loop and regular supply chains
With progressing technologies and new features of production, new products compete with older ones in markets. Indeed, new products initiate contest with olden ones and this process repeats in different productions lifetime several times. In this situation recycling the olden products seems to be significant for supply chains. Governments often levy special tariffs for these products as a contr...
متن کاملApplying an Operational Formal Method to Safety-Critical Systems
Despite thirty years of study by the academic community, industry has not embraced the systematic usage of formal methods. To address this concern, a formal method is proposed which possesses many of the qualities that practitioners have listed as lacking from current formal methods: inclusion of both a specification and verification model, a tabular notation that only requires knowledge of fir...
متن کاملLearning Parametric Closed-Loop Policies for Markov Potential Games
Multiagent systems where the agents interact among themselves and with an stochastic environment can be formalized as stochastic games. We study a subclass, named Markov potential games (MPGs), that appear often in economic and engineering applications when the agents share some common resource. We consider MPGs with continuous state-action variables, coupled constraints and nonconvex rewards. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Intelligent Vehicles
سال: 2018
ISSN: 2379-8904,2379-8858
DOI: 10.1109/tiv.2018.2843128